-- BP 7.1.6 content: ModelClass syschar: 3 persistence-version: 7.1.6

INSERT INTO O_OBJ
	VALUES ("849c2c32-71cd-4896-b8ae-040e905af481",
	'Verification Step',
	3,
	'VS',
	'',
	"00000000-0000-0000-0000-000000000000");
INSERT INTO O_NBATTR
	VALUES ("2c4afb44-0a1d-488f-84ae-568b0438cd45",
	"849c2c32-71cd-4896-b8ae-040e905af481");
INSERT INTO O_BATTR
	VALUES ("2c4afb44-0a1d-488f-84ae-568b0438cd45",
	"849c2c32-71cd-4896-b8ae-040e905af481");
INSERT INTO O_ATTR
	VALUES ("2c4afb44-0a1d-488f-84ae-568b0438cd45",
	"849c2c32-71cd-4896-b8ae-040e905af481",
	"54f5aedc-0946-436c-a4c5-eecde7ccc08d",
	'current_state',
	'',
	'',
	'current_state',
	0,
	"ba5eda7a-def5-0000-0000-000000000006",
	'',
	'');
INSERT INTO O_NBATTR
	VALUES ("1eaa5c15-b346-46c0-a86b-96af8639b0a5",
	"849c2c32-71cd-4896-b8ae-040e905af481");
INSERT INTO O_BATTR
	VALUES ("1eaa5c15-b346-46c0-a86b-96af8639b0a5",
	"849c2c32-71cd-4896-b8ae-040e905af481");
INSERT INTO O_ATTR
	VALUES ("1eaa5c15-b346-46c0-a86b-96af8639b0a5",
	"849c2c32-71cd-4896-b8ae-040e905af481",
	"00000000-0000-0000-0000-000000000000",
	'id',
	'',
	'',
	'id',
	0,
	"ba5eda7a-def5-0000-0000-000000000005",
	'',
	'');
INSERT INTO O_NBATTR
	VALUES ("6bd690f2-02e4-44a5-9127-738ed815d5f5",
	"849c2c32-71cd-4896-b8ae-040e905af481");
INSERT INTO O_BATTR
	VALUES ("6bd690f2-02e4-44a5-9127-738ed815d5f5",
	"849c2c32-71cd-4896-b8ae-040e905af481");
INSERT INTO O_ATTR
	VALUES ("6bd690f2-02e4-44a5-9127-738ed815d5f5",
	"849c2c32-71cd-4896-b8ae-040e905af481",
	"1eaa5c15-b346-46c0-a86b-96af8639b0a5",
	'start_time',
	'',
	'',
	'start_time',
	0,
	"ba5eda7a-def5-0000-0000-000000000010",
	'',
	'');
INSERT INTO O_NBATTR
	VALUES ("54f5aedc-0946-436c-a4c5-eecde7ccc08d",
	"849c2c32-71cd-4896-b8ae-040e905af481");
INSERT INTO O_BATTR
	VALUES ("54f5aedc-0946-436c-a4c5-eecde7ccc08d",
	"849c2c32-71cd-4896-b8ae-040e905af481");
INSERT INTO O_ATTR
	VALUES ("54f5aedc-0946-436c-a4c5-eecde7ccc08d",
	"849c2c32-71cd-4896-b8ae-040e905af481",
	"6bd690f2-02e4-44a5-9127-738ed815d5f5",
	'end_time',
	'',
	'',
	'end_time',
	0,
	"ba5eda7a-def5-0000-0000-000000000010",
	'',
	'');
INSERT INTO O_REF
	VALUES ("849c2c32-71cd-4896-b8ae-040e905af481",
	"3eb6f994-c44c-4102-8ae3-fe155e89ac0f",
	0,
	"fb786366-8582-4094-a072-1a4160426a3d",
	"3c11f9db-b712-4df4-a89a-fd8838f5b826",
	"59e46b7b-bb96-443e-9a44-b7ced5ff417d",
	"10c21796-905b-41f7-82be-a691a59e0cd1",
	"5da840e0-09ab-4cee-a14e-3dbc64471d1c",
	"f2d0a3da-1954-471b-a5d5-a91745ff3403",
	"00000000-0000-0000-0000-000000000000",
	0,
	'',
	'Metamodel',
	'verificationDomain',
	'R12.''is performed against''');
INSERT INTO R_RGO_PROXY
	VALUES ("849c2c32-71cd-4896-b8ae-040e905af481",
	"3c11f9db-b712-4df4-a89a-fd8838f5b826",
	"59e46b7b-bb96-443e-9a44-b7ced5ff417d",
	'../Metamodel Verifier.xtuml');
INSERT INTO O_RTIDA_PROXY
	VALUES ("fb786366-8582-4094-a072-1a4160426a3d",
	"3eb6f994-c44c-4102-8ae3-fe155e89ac0f",
	0,
	"3c11f9db-b712-4df4-a89a-fd8838f5b826",
	"10c21796-905b-41f7-82be-a691a59e0cd1",
	'../Metamodel Verifier.xtuml');
INSERT INTO O_RATTR
	VALUES ("5da840e0-09ab-4cee-a14e-3dbc64471d1c",
	"849c2c32-71cd-4896-b8ae-040e905af481",
	"fb786366-8582-4094-a072-1a4160426a3d",
	"3eb6f994-c44c-4102-8ae3-fe155e89ac0f",
	1,
	'verificationDomain');
INSERT INTO O_BATTR_PROXY
	VALUES ("fb786366-8582-4094-a072-1a4160426a3d",
	"3eb6f994-c44c-4102-8ae3-fe155e89ac0f",
	'../Metamodel/Metamodel.xtuml');
INSERT INTO O_ATTR
	VALUES ("5da840e0-09ab-4cee-a14e-3dbc64471d1c",
	"849c2c32-71cd-4896-b8ae-040e905af481",
	"2c4afb44-0a1d-488f-84ae-568b0438cd45",
	'verificationDomain',
	'',
	'',
	'verificationDomain',
	0,
	"ba5eda7a-def5-0000-0000-000000000002",
	'',
	'');
INSERT INTO O_ID
	VALUES (0,
	"849c2c32-71cd-4896-b8ae-040e905af481");
INSERT INTO O_OIDA
	VALUES ("1eaa5c15-b346-46c0-a86b-96af8639b0a5",
	"849c2c32-71cd-4896-b8ae-040e905af481",
	0,
	'id');
INSERT INTO O_ID
	VALUES (1,
	"849c2c32-71cd-4896-b8ae-040e905af481");
INSERT INTO O_ID
	VALUES (2,
	"849c2c32-71cd-4896-b8ae-040e905af481");
INSERT INTO PE_PE
	VALUES ("849c2c32-71cd-4896-b8ae-040e905af481",
	1,
	"3493cadf-8ef8-4a76-88ed-832a6b5722e0",
	"00000000-0000-0000-0000-000000000000",
	4);
INSERT INTO EP_PKG_PROXY
	VALUES ("3493cadf-8ef8-4a76-88ed-832a6b5722e0",
	"00000000-0000-0000-0000-000000000000",
	"e154dcf2-3f46-422f-8ae0-9fbab23e31a4",
	'Metamodel Verifier',
	'',
	0,
	'../Metamodel Verifier.xtuml');
